Towards a Repository of Bx Examples
نویسندگان
چکیده
We argue for the creation of a curated repository of examples of bidirectional transformations (bx). In particular, such a resource may support research on bx, especially cross-fertilisation between the different communities involved. We have initiated a bx repository, which is introduced in this paper. We discuss our design decisions and their rationale, and illustrate them using the now classic Composers example. We discuss the difficulties that this undertaking may face, and comment on how they may be overcome.
منابع مشابه
Towards a Principle of Least Surprise for Bidirectional Transformations
In software engineering and elsewhere, it is common for different people to work intensively with different, but related, artefacts, e.g. models, documents, or code. They may use bidirectional transformations (bx) to maintain consistency between them. Naturally, they do not want their deliberate decisions disrupted, or their comprehension of their artefact interfered with, by a bx that makes ch...
متن کاملبررسی نگرش اعضای هیئت علمی دانشگاه شهید چمران اهواز درباره مخزن دانش سازمانی این دانشگاه
The aim of this study is to investigate the status of Shahid Chamran University’s management knowledge repository as part of the university’s repository of organizational knowledge, identify problems and provide solutions to improve the system it is. As a practical research, the study followed the survey method which was administered as a case study. To collect data about the views of experts ...
متن کاملInequalities of Rafalson type for algebraic polynomials
For a positive Borel measure dμ, we prove that the constant γn(dν; dμ) := sup π∈Pn\{0} ∫∞ −∞ π (x)dν(x) ∫∞ −∞ π 2(x)dμ(x) , can be represented by the zeros of orthogonal polynomials corresponding to dμ in case (i) dν(x) = (A + Bx)dμ(x), where A + Bx is nonnegative on the support of dμ and (ii) dν(x) = (A + Bx)dμ(x), where dμ is symmetric and A + Bx is nonnegative on the support of dμ. The extre...
متن کاملSome weighted operator geometric mean inequalities
In this paper, using the extended Holder- -McCarthy inequality, several inequalities involving the α-weighted geometric mean (0<α<1) of two positive operators are established. In particular, it is proved that if A,B,X,Y∈B(H) such that A and B are two positive invertible operators, then for all r ≥1, ‖X^* (A⋕_α B)Y‖^r≤‖〖(X〗^* AX)^r ‖^((1-α)/2) ‖〖(Y〗^* AY)^r ‖^((1-α)/2) ‖〖(X〗^* BX)^r ‖^(α/2) ‖〖(Y...
متن کاملTowards Rigorously Faking Bidirectional Model Transformations
Bidirectional model transformations (bx) are mechanisms for automatically restoring consistency between multiple concurrently modified models. They are, however, challenging to implement; many model transformation languages not supporting them at all. In this paper, we propose an approach for automatically obtaining the consistency guarantees of bx without the complexities of a bx language. Fir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014